pub fn KnfEnv::opt_pass(self : KnfEnv, knf : Knf) -> Knf {
  abort("todo")
}
